Abduction and induction from a non-monotonic reasoning perspective

In this chapter, induction and abduction are investigated in a non-monotonic reasoning framework. We recall that several meanings can be given to logic-based abduction and induction. In particular, we distinguish explanatory and descriptive induction. Explanatory induction is closely related to abduction. Descriptive induction is related to abduction in a less straightforward way. While both can be modelled as deduction from a completed theory, diierent completion policies must be considered. Actually, induction does not require properties to be circumscribed but individuals, while abduction does not require individuals to be circumscribed but properties.